NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings

Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer Nature 2023 Utgivningsland okänt / Ej specificerat